Ein Einblick in die Implementierung eines SAT-Solvers
Anschließend an die “Einführung in SAT-Solver” stelle ich in diesem Vortrag die grundlegenden Algorithmen, Heurisitken und Datenstrukturen aktueller SAT-Solver vor. Auch als Anwender kann dieses Wissen dabei helfen Probleme so zu formulieren, dass sie effizient gelöst werden können.
Ein Vortrag im Rahmen der Night of Open Knowledge (Nook) in Lübeck: Die NooK ist eine offene Vortragsveranstaltung die sich an ein technik- und gesellschaftsinteressiertes Publikum jedes Wissensgrads und jedes Alters richtet. Die NooK wird vom Chaotikum e.V. (https://chaotikum.org) aus Lübeck und der studentischen Gruppe MetaMeute der Uni Lübeck veranstaltet.